<?php
/*
 * code to close a user's session
*/
session_start();
session_destroy();
header('location:login.php');
?>